nLab Marcelo Fiore

• website

Selected writings

On linear logic:

• Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic, in Typed Lambda Calculi and Applications. TLCA 2007, Lecture Notes in Computer Science 4583 [pdf, doi:10.1007/978-3-540-73228-0_13]

On higher-order abstract syntax:

• Marcelo Fiore, Gordon Plotkin, Daniele Turi. Abstract syntax and variable binding, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158). IEEE (1999) [doi:10.1109/LICS.1999.782615, pdf, webpage]

• Marcelo Fiore, Chung-Kil Hur. Second-order equational logic, International Workshop on Computer Science Logic. Springer, Lecture Notes in Computer Science 6247 (2010) [doi:10.1007/978-3-642-15205-4_26, pdf]

On simple type theory:

• Nathanael Arkor, Marcelo Fiore, Algebraic models of simple type theories: a polynomial approach, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, July 2020, Pages 88-101 (doi:10.1145/3373718.3394771, arXiv:2006.16949)

On quotient types, inductive types and inductive-inductive types:

• Marcelo P. Fiore, Andrew M. Pitts, S. C. Steenkamp, Quotients, inductive types, and quotient inductive types, Logical Methods in Computer Science 18 2 (2022) lmcs:7076 [arXiv:2101.02994, doi:10.46298/lmcs-18(2:15)2022]

category: people